Abstract logic

Results: 1693



#Item
21

Modal Logic and Invariance Johan van Benthem Denis Bonnay Abstract

Add to Reading List

Source URL: esslli2009.labri.fr

Language: English - Date: 2010-10-12 04:42:21
    22

    Roland Poellinger, Munich Center for Mathematical Philosophy, LMU Munich Variable Entanglement in Bayes Net Causal Models Abstract: In many cases of causal reasoning non-causal, non-directional knowledge is drawn on and

    Add to Reading List

    Source URL: logic.rforge.com

    Language: English - Date: 2017-02-01 05:29:01
      23

      The Geometry of Interaction as a Module System Ulrich Schöpp June 17, 2018 Abstract The Geometry of Interaction (goi) was originally introduced by Girard in the context of Linear Logic. Many of its recent applications c

      Add to Reading List

      Source URL: www2.tcs.ifi.lmu.de

      Language: English - Date: 2018-06-17 16:52:52
        24

        Counterexamples and Degrees of Support Claude Gratton1 Abstract. My goal is to present recent work in the logic of counterexamples that could be of value to experts working to create computer models of arguments in natur

        Add to Reading List

        Source URL: cmna.csc.liv.ac.uk

        Language: English - Date: 2002-05-29 13:21:13
          25

          Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

          Add to Reading List

          Source URL: erl.ucsd.edu

          - Date: 2018-06-10 00:33:20
            26

            On Scales, Salience & Referential Language Use? Michael Franke Institute for Logic, Language & Computation Universiteit van Amsterdam Abstract. Kennedyexplains differences in the contextual variability of gradab

            Add to Reading List

            Source URL: www.home.uni-osnabrueck.de

            Language: English - Date: 2018-04-18 07:39:40
              27

              Fast Reflexive Arithmetic Tactics the linear case and beyond Fr´ed´eric Besson? Irisa/Inria, Campus de Beaulieu, 35042 Rennes Cedex, France Abstract. When goals fall in decidable logic fragments, users of proofassista

              Add to Reading List

              Source URL: people.rennes.inria.fr

              Language: English - Date: 2014-09-03 04:27:19
                28

                On Reflection Principles ? Peter Koellner Harvard University, Massachusetts, USA, 02138, (Abstract

                Add to Reading List

                Source URL: logic.harvard.edu

                Language: English - Date: 2011-09-20 00:26:33
                  29

                  Decomposing Abstract Dialectical Frameworks Sarah Alice GAGGL Technische Universit¨at Dresden, Computational Logic Group, Germany Hannes STRASS Computer Science Institute, Leipzig University, Germany

                  Add to Reading List

                  Source URL: comma2014.arg.dundee.ac.uk

                  Language: English - Date: 2014-08-27 11:30:50
                    30

                    A Probabilistic Logic for Sequences of Decisions∗ Magdalena Ivanovska and Martin Giese Department of Informatics University of Oslo, Norway Abstract

                    Add to Reading List

                    Source URL: heim.ifi.uio.no

                    Language: English - Date: 2012-06-04 07:58:53
                      UPDATE